“所有北大学生(Sx)都是聪明的(Px)” 这一命题的逻辑形式，可用谓词公式表示为（）。答案: （”x）(Sx→Px)